Reversivity, Reversibility and Retractability (meta 2012)
نویسندگان
چکیده
Three essentially different but usually mixed notions of program invertibility are considered. Reversivity when each action has a full inverse. Reversibility when each action can be undone (right inverse). Retractability when erroneous result can be retracted down to error in data. Constructive logical, algebraic, programming and realization aspects are considered for those types of programs.
منابع مشابه
Entrenchment and Retractability: A Preliminary Report
In the coherentist approach to belief change, all beliefs are assumed to be ordered according to their epistemic entrenchment. On the other hand, in the foundational approach to belief change, which explicitly distinguishes “basic” beliefs from “inferred” beliefs, basic beliefs are ordered according to their retractability. Both entrenchment and retractability are distinct tie-breaking mechanis...
متن کاملContraception and the risk of ectopic pregnancy: a meta-analysis.
The current knowledge of the association between contraceptive methods and the risk of ectopic pregnancy was evaluated by means of a meta-analysis. Case-control and cohort studies published between 1978 and 1994 in English, French, German and Dutch were retrieved by a search in Medline, a hand-search on recent medical journals and cross-references. Papers reporting on the association between co...
متن کاملReversibility of a module with respect to the bifunctors Hom and Rej
Let $M_R$ be a non-zero module and ${mathcal F}: sigma[M_R]times sigma[M_R] rightarrow$ Mod-$Bbb{Z}$ a bifunctor. The $mathcal{F}$-reversibility of $M$ is defined by ${mathcal F}(X,Y)=0 Rightarrow {mathcal F}(Y,X)=0$ for all non-zero $X,Y$ in $sigma[M_R]$. Hom (resp. Rej)-reversibility of $M$ is characterized in different ways. Among other things, it is shown th...
متن کاملGroupoids, covers, and 3-uniqueness in stable theories
Building on Hrushovski’s work in [5], we study definable groupoids in stable theories and their relationship with 3-uniqueness and finite internal covers. We introduce the notion of retractability of a definable groupoid (which is slightly stronger than Hrushovski’s notion of eliminability), give some criteria for when groupoids are retractable, and show how retractability relates to both 3-uni...
متن کاملComparison of drugs for pulmonary hypertension reversibility testing: A meta-analysis
Multiple drugs are used for reversibility testing of pulmonary hypertension (PH) in advanced heart failure (HF), especially in the process of heart transplant evaluation. Effects of these drugs were never systematically compared. The aim of this meta-analysis was to compare hemodynamic effects of different drugs. We identified 20 prospective studies reporting hemodynamic variables before and af...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012